Validating Emergent Behaviours in Systems-of-Systems through Model Transformations
نویسنده
چکیده
Systems-of-Systems (SoS) are formed by independent systems termed as constituents. SoS exhibit dynamic properties called emergent behaviors, which are a global functionality that appears as a result of the interoperability among constituents. However, software architecture descriptions of SoS are often static. In turn, dynamic models such as simulation models (also adopted to specify SoS) do not use to preserve software architecture details, which can hamper the software quality. In this paper, we propose a model transformation approach to harmonize software architecture descriptions of SoS and simulation models to support validation of emergent behaviors. We model a software architecture of SoS by the adoption of SosADL, a novel architectural description language (ADL) for SoS, and transform it to DEVS, a formalism for simulation of SoS. Our approach offers a dynamic view to architectural descriptions of SoS, preserving the architectural integrity of the SoS, and supporting the visualization and validation of emergent behaviors. We evaluate our proposal through a case study conducted within the context of a real SoS in operation for flood monitoring in an urban area. Preliminary results show that the transformation is feasible, generating functional simulation models that support the validation of emergent behaviors.
منابع مشابه
A Method for Validating and Discovering Associations between Multi-level Emergent Behaviours in Agent-Based Simulations
Agent-based models (ABM) and their simulations have been used to study complex systems with interacting entities and to model multi-agent systems. Simulations are used to explore the dynamic consequences of these models. In many cases, the behaviours that are of interest are emergent ones that arise as a result of interactions between agents rather than the actions of any individual agent. In t...
متن کاملIdentifying multi-level emergent behaviours in agent-based simulations using Complex Event Type specifications
Agent-based simulations (ABS) are used in many domains to study complex systems. These are systems where non-linear effects can result from these emergent behaviours, making them difficult to analyse and predict. Correspondingly, in ABS, as well as explicitly specified behaviours of individual agents, higher level behaviours can emerge spontaneously from agent action sequences and agent-agent i...
متن کاملEntropy of infinite systems and transformations
The Kolmogorov-Sinai entropy is a far reaching dynamical generalization of Shannon entropy of information systems. This entropy works perfectly for probability measure preserving (p.m.p.) transformations. However, it is not useful when there is no finite invariant measure. There are certain successful extensions of the notion of entropy to infinite measure spaces, or transformations with ...
متن کاملارزیابی پویشگر ریسک به منظور شناسایی ریسکهای در حال ظهور با استفاده از مدل آنالیز تشدید کارکرد: مطالعهی موردی در یک واحد فرایندی
Background and aim: Today, it was revealed that Socio-technical systems did not have a bimodal nature and interactions in these systems are complex and non-linear. Consequently, since risks can be emerged as non-linear combinations of performance variability, so traditional methods of risk assessment are not able to capture these combinations. The present paper is aimed at identifying the eme...
متن کاملPersonalisation - An Emergent Institutional Logic in Healthcare?; Comment on “(Re) Making the Procrustean Bed? Standardization and Customization as Competing Logics in Healthcare”
This commentary on the recent think piece by Mannion and Exworthy reviews their core arguments, highlighting their suggestion that recent forces for personalization have emerged which may counterbalance the strong standardization wave which has been evident in many healthcare settings and systems over the last two decades. These forces for personalization can take very different forms. The comm...
متن کامل